The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

DFT modeling of indoline spiropyrans with a cationic substituent in the gas phase

Isomeric forms of indoline spiropyrans show unusual behavior compared with similar compounds, according to experimental data. DFT modeling for gas phase was made to consider the simplest case without environmental effects, which revealed the intramolecular reasons for occurrence of ring opening reaction depending on the particular structure of the compound. The questions of charge redistributions, the changes of geometry and chemical bonds in the structures are also discussed.     

基于应变梯度理论的微尺度蜂窝等效模量计算方法

本文提出了一种新的能够计及尺度效应的微纳米蜂窝等效模量的计算方法。将一种单参数应变梯度理论引入到本构方程当中,并基于能量等效原理推导了蜂窝面内等效模量地计算公式。算例分析表明,本文方法能够有效地计及尺度效应对蜂窝等效模量的影响。尺度效应与胞壁厚度和长度的值都有关,当胞壁厚度较小时,尺度效应显著,本文方法预测的模量会明显高于传统方法;而当胞壁厚度较大时,尺度效应变得微弱乃至可以忽略不计。但如果胞壁的长度/厚度比很大,则面内等效模量会趋近于0,此时是否考虑尺度效应意义不大。     

基于不确定控制理论的最优策略研究

本文在不确定理论的框架下,研究一类带背景状态变量的最优控制模型.在乐观值准则下,利用不确定动态规划的方法,证明了不确定最优性原则,得到最优性方程.作为应用,求解一个固定缴费(DC)型养老金的最优投资策略问题,在乐观值准则下,以工资变量为背景状态变量,建立养老金模型.通过求解不确定最优性方程得到最优投资策略和最优支付率.     

Classical solution for a nonlinear hybrid system modeling combustion in a multilayer porous medium

Combustion processes in porous media have been used by the petroleum engineering industry to extract heavy oil from reservoirs. This study focuses on a one-dimensional nonlinear hybrid system consisting of $n$ reaction–diffusion–convection equations coupled with $n$ ordinary differential equations, which models a combustion front moving through a porous medium with $n$ parallel layers. The state variables are the temperature and fuel concentration in each layer. Coupling occurs in both the reaction function and differential operator coefficients. We prove the existence of a classical solution, first locally and then globally over time, to an initial and boundary value problem for the corresponding system. The proof uses a new approach for combustion problems in porous media. The local solution is obtained by defining an operator in a set of Hölder continuous functions and using Schauder’s fixed-point theorem to find a fixed point as the desired solution. Using Zorn’s lemma, we extend the local solution to a global solution, proving that the first-order spatial derivative of the temperature in each layer is a bounded function.     

Some unsolvable conjectures in finite p-groups

We survey some unsolvable conjectures in finite p-groups and their research progress.     

The Role of Radical Bridges in Polynuclear Single-Molecule Magnets

Employing radical bridges between anisotropic metal ions has been a viable route to achieve high-performance single-molecule magnets (SMMs). While the bridges have been mainly considered for their ability to promote exchange interactions, the crystal-field effect arising from them has not been taken into account explicitly. This lack of consideration may distort the understanding and limit the development of the entire family. To shed light on this aspect, herein we report a theoretical investigation of a series of N -radical-bridged diterbium complexes. It is found that while promoting strong exchange coupling between the terbium ions, the N -radical induces a crystal field that interferes destructively with that of the outer ligands, and thus reduces the overall SMM behavior. Based on the theoretical results, we conclude that the SMM behavior in this series could be further maximized if the crystal field of the outer ligands is designed to be collinear with that of the radical bridge. This conclusion can be generalized to all exchange-coupled SMMs.